Formal Software Specifications with Executable Use Cases and Coloured Petri Nets
نویسندگان
چکیده
This paper presents Executable Use Cases (EUCs), which constitute a model-based approach to requirements engineering. EUCs may be used as a supplement to Model-Driven Development (MDD) and can describe and link user-level requirements and more technical software specifications. In MDD, user-level requirements are not always explicitly described, since usually it is sufficient that one provides a specification, or platform-independent model, of the software that is to be developed. Therefore, a combination of EUCs and MDD may have potential to cover the path from userlevel requirements via specifications to implementations of computer-based systems.
منابع مشابه
Executable Use Cases for Pervasive Healthcare
Using a pervasive healthcare system as example, a new approach to specification of user requirements for pervasive IT systems is presented. A formal modelling language, Coloured Petri Nets, is applied to describe what we call Executable Use Cases, EUCs. EUCs are precise, detailed, and executable descriptions of future work processes and their computer support. In particular, EUCs allow user req...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملExecutable Use Cases as Links Between Application Domain Requirements and Machine Specifications
We explain how Executable Use Cases (EUCs) constitute links between application domain requirements and machine specifications. As example, we use an EUC describing the hospital work process medicine administration and its proposed support by a new pervasive health care system. The EUC is based on a generalised state machine in the form of a Coloured Petri Nets model. We demonstrate how the EUC...
متن کاملUsing Colored Petri Nets for System Specifications and as a System Under Test Prototype
Automated testing is an essential part in the software development process. It requires, however, the system under test (SUT) to be at least partially implemented. Also the practical verification of the test cases themselves cannot start before the SUT is available. Based on the usage of Colored Petri Nets (CPNs) as a specification tool and their integration with TTCN-3, we present an approach ...
متن کاملConsistent integration between object oriented and coloured petri nets models
Unified Modeling Language (UML) is easier to understand and communicate using graphical notations, but lacks techniques for model validation and verification especially if these diagrams are updated. Formal approaches like Coloured Petri Nets (CPNs) are based on strong mathematical notations and proofs as basis for executable modeling languages. Transforming UML diagrams to executable models th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008